4

Answer set programming at a glance

Année:
2011
Langue:
english
Fichier:
PDF, 4.04 MB
english, 2011
6

Computing with default logic

Année:
1999
Langue:
english
Fichier:
PDF, 508 KB
english, 1999
7

Decomposition of large uniform hypergraphs

Année:
1985
Langue:
english
Fichier:
PDF, 294 KB
english, 1985
8

Uniform semantic treatment of default and autoepistemic logics

Année:
2003
Langue:
english
Fichier:
PDF, 357 KB
english, 2003
10

Minimal knowledge problem: A new approach

Année:
1994
Langue:
english
Fichier:
PDF, 1.79 MB
english, 1994
13

Annotated revision programs

Année:
2002
Langue:
english
Fichier:
PDF, 256 KB
english, 2002
14

Jump number problem: The role of matroids

Année:
1985
Langue:
english
Fichier:
PDF, 422 KB
english, 1985
15

Modal logic for default reasoning

Année:
1990
Langue:
english
Fichier:
PDF, 1.93 MB
english, 1990
19

Autoepistemic logic

Année:
1991
Langue:
english
Fichier:
PDF, 2.17 MB
english, 1991
20

Fixed-parameter complexity of semantics for logic programs

Année:
2003
Langue:
english
Fichier:
PDF, 260 KB
english, 2003
25

GRACEFUL UNICYCLIC GRAPHS

Année:
1984
Langue:
english
Fichier:
PDF, 642 KB
english, 1984
27

Asymptotic results on saturated graphs

Année:
1991
Langue:
english
Fichier:
PDF, 449 KB
english, 1991
28

Primal graphs with small degrees

Année:
1991
Langue:
english
Fichier:
PDF, 746 KB
english, 1991
29

Decompositions of graphs into forests with bounded maximum degree

Année:
1991
Langue:
english
Fichier:
PDF, 995 KB
english, 1991
30

Decompositions of regular bipartite graphs

Année:
1991
Langue:
english
Fichier:
PDF, 692 KB
english, 1991
32

Generalized local colorings of graphs

Année:
1992
Langue:
english
Fichier:
PDF, 649 KB
english, 1992
33

On the number of minimal transversals in 3-uniform hypergraphs

Année:
2008
Langue:
english
Fichier:
PDF, 254 KB
english, 2008
34

Note on the decomposition of λKm,n (λKm,n*) into paths

Année:
1985
Langue:
english
Fichier:
PDF, 450 KB
english, 1985
35

A note on local colorings of graphs

Année:
1997
Langue:
english
Fichier:
PDF, 223 KB
english, 1997
36

Revision programming

Année:
1998
Langue:
english
Fichier:
PDF, 2.50 MB
english, 1998
37

Extremal problems in logic programming and stable model computation

Année:
1999
Langue:
english
Fichier:
PDF, 1.62 MB
english, 1999
38

Constraint Lingo: towards high-level constraint programming

Année:
2004
Langue:
english
Fichier:
PDF, 224 KB
english, 2004
39

Linear upper bounds for local Ramsey numbers

Année:
1987
Langue:
english
Fichier:
PDF, 486 KB
english, 1987
40

The tree number of a graph with a given girth

Année:
1988
Langue:
english
Fichier:
PDF, 796 KB
english, 1988
41

Book reviews

Année:
1983
Langue:
english
Fichier:
PDF, 297 KB
english, 1983
43

My six encounters with Victor Marek—a personal account

Année:
2008
Langue:
english
Fichier:
PDF, 152 KB
english, 2008
45

Preface

Année:
2008
Langue:
english
Fichier:
PDF, 137 KB
english, 2008
47

On graph equivalences preserved under extensions

Année:
2011
Langue:
english
Fichier:
PDF, 304 KB
english, 2011
49

Representation theory for default logic

Année:
1997
Langue:
english
Fichier:
PDF, 393 KB
english, 1997
50

Once more on storage for consecutive retrieval

Année:
1980
Langue:
english
Fichier:
PDF, 507 KB
english, 1980